Representing Biological Processes in Modular Action Language ALM
نویسندگان
چکیده
This paper presents the formalization of a biological process, cell division, in modular action language ALM. We show how the features of ALM—modularity, separation between an uninterpreted theory and its interpretation—lead to a simple and elegant solution that can be used in answering questions from biology textbooks.
منابع مشابه
Yet Another Modular Action Language
The paper presents the syntax and semantics of an action language ALM. The language is used for representation of knowledge about dynamic systems. It extends action language AL by allowing definitions of new objects (actions and fluents) in terms of other, previously defined, objects. This, together with the modular structure of the new language leads to more elegant and concise representations...
متن کاملA CLIB-Inspired Library of Commonsense Knowledge in Modular Action Language ALM
This paper describes a modular action language,ALM, dedicated to the specification of complex dynamic systems. One of the main goals of the language is to facilitate the development and testing of knowledge representation libraries. We present the implementation of a large scale library of commonsense concepts, achieved by porting knowledge from the Component Library (CLIB) into ALM. Our choice...
متن کاملModular Action Language ALM
The paper introduces a new modular action language, ALM, and illustrates the methodology of its use. It is based on the approach of Gelfond and Lifschitz (1993; 1998) in which a high-level action language is used as a front end for a logic programming system description. The resulting logic programming representation is used to perform various computational tasks. The methodology based on exist...
متن کاملCoreALMlib: An ALM library translated from the Component Library
This paper presents COREALMLIB, an ALM library of commonsense knowledge about dynamic domains. The library was obtained by translating part of the COMPONENT LIBRARY (CLIB) into the modular action language ALM. CLIB consists of general reusable and composable commonsense concepts, selected based on a thorough study of ontological and lexical resources. Our translation targets CLIB states (i.e., ...
متن کاملModular action language
The paper introduces a new modular action language, ALM, and illustrates the methodology of its use. It is based on the approach of Gelfond and Lifschitz (1993; 1998) in which a high-level action language is used as a front end for a logic programming system description. The resulting logic programming representation is used to perform various computational tasks. The methodology based on exist...
متن کامل